Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation
نویسندگان
چکیده
In fault-tree analysis probabilities of failure of components are often assumed to be precise. However this assumption is seldom verified in practice. There is a large literature on the computation of the probability of the top (dreadful) event of the fault-tree, based on the representation of logical formulas in the form of a binary decision diagram (BDD). When probabilities of atomic propositions are ill-known and modelled by intervals, BDD-based algorithms no longer apply to the computation of the top probability interval. This paper investigates this question for general Boolean expressions, and proposes an approach based on interval methods, relying on the analysis of the structure of the Boolean formula. The considered application deals with the fault-treebased analysis of the reliability of aircraft operations.
منابع مشابه
Overcoming the uncertainty in a research reactor LOCA in level-1 PSA; Fuzzy based fault-tree/event-tree analysis
Probabilistic safety assessment (PSA) which plays a crucial role in risk evaluation is a quantitative approach intended to demonstrate how a nuclear reactor meets the safety margins as part of the licensing process. Despite PSA merits, some shortcomings associated with the final results exist. Conventional PSA uses crisp values to represent the failure probabilities of basic events. This causes...
متن کاملRemenyte-Prescott, Rasa and Andrews, John (2009) An efficient real-time method of analysis for non-coherent fault trees. Quality and Reliability Engineering
Fault tree analysis is commonly used to assess the reliability of potentially hazardous industrial systems. The type of logic is usually restricted to AND and OR gates which makes the fault tree structure coherent. In non-coherent structures not only components’ failures but also components’ working states contribute to the failure of the system. The qualitative and quantitative analyses of suc...
متن کاملAn efficient real-time method of analysis for non-coherent fault trees
Fault tree analysis is commonly used to assess the reliability of potentially hazardous industrial systems. The type of logic is usually restricted to AND and OR gates which makes the fault tree structure coherent. In non-coherent structures not only components’ failures but also components’ working states contribute to the failure of the system. The qualitative and quantitative analyses of suc...
متن کاملAn enhanced component connection method for conversion of fault trees to binary decision diagrams
Fault Tree Analysis (FTA) is widely applied to assess the failure probability of industrial systems. Many computer packages are available which are based on conventional Kinetic Tree Theory methods. When dealing with large (possibly non-coherent) fault trees, the limitations of the technique in terms of accuracy of the solutions and the efficiency of the processing time becomes apparent. Over r...
متن کاملChoosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks
Fault-tree analysis is commonly used for risk assessment of industrial systems. Several computer packages are available to carry out the analysis. Despite its common usage there are associated limitations of the technique in terms of accuracy and efficiency when dealing with large fault-tree structures. The most recent approach to aid the analysis of the fault-tree diagram is the BDD (binary de...
متن کامل